Automated regression unit test generation for program merges
نویسندگان
چکیده
Merging other branches into the current working branch is common in collaborative software development. However, developers still heavily rely on textual merge tools to handle complicated tasks. The latent semantic conflicts may fail be detected and degrade quality. Regression testing able prevent regression faults has been widely used real-world merged well examined by rerunning existing whole test suite. Intuitively, if suite fails cover changes of different at same time, would detected. Recently, it proposed conduct verification 3-way merges, but this approach does not support even some cases such as made parts program. In paper, we propose an unit generation specifically for checking program merges according our oracles. And general oracles us examine only also 2-way octopus merges. Considering arise locations besides changed methods project, design algorithm select UUTs based dependency analysis project. On basis, implement a tool called TOM generate tests Java We benchmark MCon4J consisting 389 conflict facilitate further studies topic. experimental results show that finds 45 3- way 87 while work MCon4J.
منابع مشابه
Automated Test Generation
Testing remains the principal means of verification in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction of test cases, and discuss some of the research challen...
متن کاملAutomated Program Generation in Viatra
Although the Unified Modeling Language (UML) has become the de facto standard visual modeling language of object–oriented design, both academic investigations and engineering experiments have revealed several shortcomings regarding, especially, its imprecise semantics and the lack of flexibility in domain specific applications [1]. Recently, the UML 2.0 Request For Proposal issued by the Object...
متن کاملToward Automated Test Generation for Engineering Applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditions with counter-examples. From a feasible counterexample test inputs are then generated. Earlier research has demonstrated the usefulness of this approach and revealed its weakness. The major problems of applying this ...
متن کاملAutomated Test Generation for AspectJ Programs
Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ. Automated test generation for AspectJ programs is important for reducing the manual effort in testing AspectJ programs. This position paper proposes Wrasp, a framework for automatic generation of te...
متن کاملAutomated test-data generation for exception conditions
This paper presents a technique for automatically generating test-data to test exceptions. The approach is based on the application of a dynamic global optimization based search for the required test-data. The authors’ work has focused on test-data generation for safety-critical systems. Such systems must be free from anomalous and uncontrolled behaviour. Typically, it is easier to prove the ab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science China Information Sciences
سال: 2022
ISSN: ['1869-1919', '1674-733X']
DOI: https://doi.org/10.1007/s11432-019-3020-4